Design of teacher assistance tools in an exploratory learning environment for algebraic generalisation

The MiGen project is designing and developing an intelligent exploratory environment to support 11-14 year-old students in their learning of algebraic generalisation. Deployed within the classroom, the system also provides tools to assist teachers in monitoring students' activities and progress. This paper describes the architectural design of these Teacher Assistance tools and gives a detailed description of one such tool, focussing in particular on the research challenges faced, and the technologies and approaches chosen to implement the necessary functionalities given the context of the project

Indecomposable modules and Gelfand rings

It is proved that a commutative ring is clean if and only if it is Gelfand with a totally disconnected maximal spectrum. Commutative rings for which each indecomposable module has a local endomorphism ring are studied. These rings are clean and elementary divisor rings

The Third International Symposium on Tilapia in Aquaculture

Tilapias, because of the low cost and relative ease of their production, are a potential food fish staple for many people ini tropical countries and a globally traded commodity. This volume of symposium proceedings shows a strong interest in production systems research and a dawning interest in socioeconomic research. Both of these fields of research are expected to receive much greater attention in the future as the economic and market importance of tilapia increases and as we seek to understand better the distribution of benefits of the different production technologies.Tilapia culture Tilapia, Oreochromis, Sarotherodon

Towards Mixed Gr{\"o}bner Basis Algorithms: the Multihomogeneous and Sparse Case

One of the biggest open problems in computational algebra is the design of efficient algorithms for Gr{\"o}bner basis computations that take into account the sparsity of the input polynomials. We can perform such computations in the case of unmixed polynomial systems, that is systems with polynomials having the same support, using the approach of Faug{\`e}re, Spaenlehauer, and Svartz [ISSAC'14]. We present two algorithms for sparse Gr{\"o}bner bases computations for mixed systems. The first one computes with mixed sparse systems and exploits the supports of the polynomials. Under regularity assumptions, it performs no reductions to zero. For mixed, square, and 0-dimensional multihomogeneous polynomial systems, we present a dedicated, and potentially more efficient, algorithm that exploits different algebraic properties that performs no reduction to zero. We give an explicit bound for the maximal degree appearing in the computations

Kinetostatic Analysis and Solution Classification of a Planar Tensegrity Mechanism

Tensegrity mechanisms have several interesting properties that make them suitable for a number of applications. Their analysis is generally challenging because the static equilibrium conditions often result in complex equations. A class of planar one-degree-of-freedom (dof) tensegrity mechanisms with three linear springs is analyzed in detail in this paper. The kinetostatic equations are derived and solved under several loading and geometric conditions. It is shown that these mechanisms exhibit up to six equilibrium configurations, of which one or two are stable. Discriminant varieties and cylindrical algebraic decomposition combined with Groebner base elimination are used to classify solutions as function of the input parameters.Comment: 7th IFToMM International Workshop on Computational Kinematics, May 2017, Poitiers, France. 201

Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases

International audienc

Workspace and Singularity analysis of a Delta like family robot

Workspace and joint space analysis are essential steps in describing the task and designing the control loop of the robot, respectively. This paper presents the descriptive analysis of a family of delta-like parallel robots by using algebraic tools to induce an estimation about the complexity in representing the singularities in the workspace and the joint space. A Gr{\"o}bner based elimination is used to compute the singularities of the manipulator and a Cylindrical Algebraic Decomposition algorithm is used to study the workspace and the joint space. From these algebraic objects, we propose some certified three dimensional plotting describing the the shape of workspace and of the joint space which will help the engineers or researchers to decide the most suited configuration of the manipulator they should use for a given task. Also, the different parameters associated with the complexity of the serial and parallel singularities are tabulated, which further enhance the selection of the different configuration of the manipulator by comparing the complexity of the singularity equations.Comment: 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France. 201

Why pinning by surface irregularities can explain the peak effect in transport properties and neutron diffraction results in NbSe2 and Bi-2212 crystals?

The existence of a peak effect in transport properties (a maximum of the critical current as function of magnetic field) is a well-known but still intriguing feature of type II superconductors such as NbSe2 and Bi-2212. Using a model of pinning by surface irregularities in anisotropic superconductors, we have developed a calculation of the critical current which allows estimating quantitatively the critical current in both the high critical current phase and in the low critical current phase. The only adjustable parameter of this model is the angle of the vortices at the surface. The agreement between the measurements and the model is really very impressive. In this framework, the anomalous dynamical properties close to the peak effect is due to co-existence of two different vortex states with different critical currents. Recent neutron diffraction data in NbSe2 crystals in presence of transport current support this point of view